#include <cstdio>

int main(){
    printf("%d", 10);
}